2121. Wittgenstein's early philosophy : three sides of the mirror
پدیدآورنده : Donald Peterson
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Language and languages - Philosophy,Logic, Symbolic and mathematical,Wittgenstein, Ludwig, - 1889-1951. - Tractatus logico-philosophicus
رده :
B
.
W563
,
T7356
3376
1990
2122. Word and Object
پدیدآورنده : / Willard Van Orman Quine
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Semantics (Philosophy),Logic, Symbolic and mathematical,Language and languages - Philosophy,معنی شناسی (فلسفه),منطق ریاضی,زبان - فلسفه
رده :
B840
.
Q5
1969
2123. Word and object
پدیدآورنده : / Willard Van Orman Quine
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Semantics (Philosophy),Logic - Symbolic and mathematical,Language and languages - Philosophy
رده :
B840
.
Q5
2124. Word and object
پدیدآورنده : Quine, Willard Van Orman, 8091-0002
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Semantics )Philosophy(,، Logic, Symbolic and mathematical,Philosophy ، Language and languages
رده :
B
840
.
Q56W6
2125. Word and object
پدیدآورنده : Quine, W. V.)Willard Van Orman(
موضوع : ، Semantics )Philosophy(,، Logic, Symbolic and mathematical,، Language and languages-- Philosophy
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
2126. Word and object
پدیدآورنده : / Willard Van Orman Quine
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : معنی‌شناسی (فلسفه),Semantics (Philosophy),Logic, Symbolic and mathematical,Language and languages- Philosophy
رده :
B840
.
Q5
2127. Word and object
پدیدآورنده : Willard Van Orman Quine,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Semantics )Philosophy(,Logic, Symbolic and mathematical,Language and languages, Philosophy
رده :
B
.
Q5
840
2128. Word and object /
پدیدآورنده : Willard Van Orman Quine ; foreword by Patricia Smith Churchland ; preface to the new edition by Dagfinn Føllesdal
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Language and languages-- Philosophy,Logic, Symbolic and mathematical,Semantics (Philosophy)
رده :
B840
.
Q5
2013
2129. classical logics /-Arnon Avron on semantics and proof theory of non
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
2130. foundations of mathematics
پدیدآورنده : Gupta , Parmanand
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G8F6
2008
2131. mathematical proof
پدیدآورنده : / Rowan Garnier, John Taylor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
G367
1996
2132. 100% mathematical proof
پدیدآورنده : Garnier, Rowan.
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
G367
1996
2133. 100% mathematical proof
پدیدآورنده : / Rowan Garnier, John Taylor
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
511
.
3
G236O
1996
2134. #100 mathematical proof
پدیدآورنده : #Rowan Garnier, John Taylor
موضوع : Proof theory ،Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
2135. mathematical proof
پدیدآورنده : / Rowan Garnier, John Taylor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
G367
1996
2136. 100% mathematical proof
پدیدآورنده : Garnier, Rowan.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
G367
1996
2137. 100 mathematical proof
پدیدآورنده : Garnier, Rowan.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
G367
1996
2138. mathematical proof
پدیدآورنده : / Rowan Garnier, John Taylor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
QA9
.
54
.
G367
1996
2139. Nonclassical logics and information processing : international workshop, Berlin , November 9-10, 1990 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Artificial intelligence-- Congresses
رده :
QA
76
.
5
.
N664
1992
